On large cardinals and generalized Baire spaces
نویسندگان
چکیده
Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal κ. We show the consistency of E ++,λ++ λ-club , the relation of equivalence modulo the non-stationary ideal restricted to Sλ ++ λ in the space (λ++)λ ++ , being continuously reducible to E ++ λ+-club , the relation of equivalence modulo the non-stationary ideal restricted to Sλ ++ λ+ in the space 2 λ++ . Then we show the consistency of E reg, the relation of equivalence modulo the nonstationary ideal restricted to regular cardinals in the space 2κ, being Σ1complete. We finish by showing, for Π2-indescribable κ, that the isomorphism relation between dense linear orders of cardinality κ is Σ1-complete.
منابع مشابه
A note on Volterra and Baire spaces
In Proposition 2.6 in (G. Gruenhage, A. Lutzer, Baire and Volterra spaces, textit{Proc. Amer. Math. Soc.} {128} (2000), no. 10, 3115--3124) a condition that every point of $D$ is $G_delta$ in $X$ was overlooked. So we proved some conditions by which a Baire space is equivalent to a Volterra space. In this note we show that if $X$ is a monotonically normal $T_1...
متن کاملComputable Analysis Over the Generalized Baire Space
One of the main goals of computable analysis is that of formalizing the complexity of theorems from real analysis. In this setting Weihrauch reductions play the role that Turing reductions do in standard computability theory. Via coding, we can transfer computability and topological results from the Baire space ω to any space of cardinality 2א0 , so that e.g. functions over R can be coded as fu...
متن کاملQuestions on generalised Baire spaces
When studying questions about real numbers, it is common practice in set theory to investigate the closely related Baire space ω and Cantor space 2 . These spaces have been extensively studied by set theorists from various points of view, e.g., questions about cardinal characteristics of the continuum, descriptive set theory and other combinatorial questions. Furthermore, the investigation of 2...
متن کاملCovering with universally Baire operators∗†
We introduce a covering conjecture and show that it holds below ADR + “Θ is regular”. We then use it to show that in the presence of mild large cardinal axioms, PFA implies that there is a transitive model containing the reals and ordinals and satisfying ADR + “Θ is regular”. The method used to prove the Main Theorem of this paper is the core model induction. The paper contains the first applic...
متن کاملDescriptive Inner Model Theory , Large Cardinals , and Combinatorics Research Statement Nam Trang
My research interest is in mathematical logic and set theory. My current research focuses on studying the connections between inner models, (determined) sets of reals, hybrid structures (such as HOD1 of determinacy models), forcing, and strong combinatorial principles (such as the Proper Forcing Axiom (PFA), (generalizations of) the tree property, the Unique Branch Hypothesis (UBH)). I’m also i...
متن کامل